Line of sight stabilization controllers tuning from high-level Modulation Transfer Function specifications

Automatic tuning of PID controllers based on transfer function estimation

Tuning of PID Controllers Based on Bode’s Ideal Transfer Function

This paper presents a new strategy for tuning PID controllers based on a fractional reference model. The model is represented as an ideal closed-loop system whose open-loop is given by the Bode’s ideal transfer function. The PID controller parameters are determined by the minimization of the integral square error (ISE) between the time responses of the desired fractional reference model and of ...

Nonlinear Optimal Line-Of-Sight Stabilization with Fuzzy Gain-Scheduling

A nonlinear optimal controller with a fuzzy gain scheduler has been designed and applied to a Line-Of-Sight (LOS) stabilization system. Use of Linear Quadratic Regulator (LQR) theory is an optimal and simple manner of solving many control engineering problems. However, this method cannot be utilized directly for multigimbal LOS systems since they are nonlinear in nature. To adapt LQ controllers...

High-Level Specifications: Lessons from Industry

We explain the rationale behind the design of the TLA+ specification language, and we describe our experience using it and the TLC model checker in industrial applications—including the verification of multiprocessor memory designs at Intel. Based on this experience, we challenge some conventional wisdom about high-level specifications.

Automatic Synthesis of Controllers from Formal Specifications

Many safety critical reactive systems are indeed embedded control systems. Usually a control system can be partitioned into two main subsystems: a controller and a plant. Roughly speaking: the controller observes the state of the plant and sends commands (stimulus) to the plant to achieve predeened goals. We show that when the plant can be modeled as a deterministic Finite State System (FSS) it...